Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
951	105th Legislature Session Year Other Draft(s) Regular Add to Reading List Source URL: www.maine.gov Language: English - Date: 2012-03-06 14:17:49 Regular language Regular expression Software engineering Computer science Automata theory Formal languages Theoretical computer science
952	104th Legislature Session Year Regular Add to Reading List Source URL: www.maine.gov Language: English - Date: 2002-12-09 08:32:22 Pattern matching Regular expression Regular language Software engineering Computer science Automata theory Formal languages Theoretical computer science
953	State of New York Department of State Division of Code Enforcement and Administration One Commerce Plaza 99 W ashington Avenue, Albany, New York[removed]4073 Fax: ([removed] Add to Reading List Source URL: www.dos.ny.gov Language: English - Date: 2013-10-11 14:15:33 Automata theory Pattern matching Regular expression C Computing Software engineering Computer programming
954	Using Semantic Unification to Generate Regular Expressions from Natural Language Nate Kushman and Regina Barzilay MIT 1 Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2013-11-10 12:52:22 Automata theory Theoretical computer science Unification Computer programming Software engineering Formal languages Pattern matching Regular expressions
955	Spring 2014 Final Exam Schedule May 7 – May 13 If your regular class start time falls between, or is one of, the times listed in the left column then, your final exam will begin and end at the times listed in the corre Add to Reading List Source URL: www.asun.edu Language: English - Date: 2014-01-21 16:20:06 Software engineering Theoretical computer science Computing Automata theory Pattern matching Regular expression
956	Massachusetts Department Of Revenue Filing Frequency Matching For Payroll Service Providers Information Services Organization Add to Reading List Source URL: www.mass.gov Language: English - Date: 2013-08-31 22:11:11 Identifiers Automata theory Pattern matching Regular expression Email DEC Alpha Data type Alphanumeric Payroll Computing Computer programming Software engineering
957	Statistical Machine Translation with Cascaded Probabilistic Transducers Der Fakult¨at f¨ ur Mathematik, Informatik und Naturwissenschaften der Rheinisch-Westf¨alischen Technischen Hochschule Aachen Add to Reading List Source URL: www-i6.informatik.rwth-aachen.de Language: English Linguistics Science Computational linguistics Speech recognition Finite state transducer Statistical machine translation Finite-state machine Translation memory Bitext word alignment Automata theory Models of computation Machine translation
958	Graph Logics with Rational Relations: The Role of Word Combinatorics Pablo Barcel´o Pablo Mu˜noz Add to Reading List Source URL: ciws.cl Language: English - Date: 2014-05-04 09:47:46 Combinatorics on words Theoretical computer science Structure Universal algebra Model theory Regular language String Nondeterministic finite automaton Admissible rule Formal languages Mathematics Automata theory
959	Theory Comput Syst DOI[removed]s00224[removed]Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization Marcelo Arenas · Pablo Barceló · Leonid Libkin Add to Reading List Source URL: web.ing.puc.cl Language: English - Date: 2013-04-26 05:57:02 Mathematics Logic Combinatorics on words Models of computation Nested word Words Muller automaton Model theory Tree Automata theory Formal languages Theoretical computer science
960	FIRST-ORDER AND TEMPORAL LOGICS FOR NESTED WORDS ´ KOUSHA ETESSAMI, RAJEEV ALUR, MARCELO ARENAS, PABLO BARCELO, NEIL IMMERMAN, AND LEONID LIBKIN Department of Computer and Information Science, University of Pennsylvania Add to Reading List Source URL: web.ing.puc.cl Language: English - Date: 2013-04-26 05:57:03 Nested word Words Temporal logic Nesting Stack Mathematical logic Model checking Scope FO Theoretical computer science Automata theory Software engineering

UPDATE